Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Lire la suite
Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Lire la suite
Charged Particle Traps
This book provides an introduction and guide to modern advances in charged particle (and antiparticle) confinement by electromagnetic ...
Lire la suiteComputational Mind: A Complex Dynamics Perspective
Computational Mind: A Complex Dynamics Perspective is a graduate–level monographic textbook in the field of Computational ...
Lire la suite
Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Lire la suite
New Computational Paradigms
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Lire la suite
Stochastic Algorithms: Foundations and Applications
Constitutes the refereed proceedings of the Third International Symposium on Stochastic Algorithms: Foundations and Applications, ...
Lire la suite
Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suite
